退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:GenEd |具有通用语义的编辑器,用于关于视觉符号的正式推理
Volker Haarslev; Michael Wessel;
机译:从形式语义上进行切片:Chisel-通用程序切片的工具
机译:通过消除视觉语义歧义的通用紧凑表示
机译:基于视觉概念/上下文检测的语义视频索引通用框架
机译:GenEd-具有通用语义的编辑器,用于关于视觉符号的形式化推理
机译:为TTCN(树和表格组合表示法)定义形式语义。
机译:使用正式语义对基于规则的模型进行注释以实现创建分析重用和可视化
机译:使用空间推理的视觉语言形式语义
机译:可视化建模元素的可插入符号和语义
机译:语义词典管理器,语义文本编辑器,语义术语注释器,语义搜索引擎和语义信息系统构建器,该方法基于立即定义语义术语的方法来识别每个单词的准确含义
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。